COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.PORTION BIBLIO
C00013 00003	.GROUP
C00021 00004	.GROUP
C00030 00005
C00038 ENDMK
C⊗;
.PORTION BIBLIO;
.EVEN HEADING(%D{PAGE},,REFERENCES%*);
.ODD HEADING(%DREFERENCES,,{PAGE}%*);
.EVERY FOOTING(,,);
.AREA TEXT LINES 3 TO PAGE_HEIGHT-2
.PLACE HEADING; PLACE FOOTING; PLACE TEXT;
.SKIP TO COLUMN 1;
.SEND CONTENTS	⊂ INDENT 0,3,0;
References \∞.∞ →  {PAGE!}α α 
.			⊃;
.
.INDENT 0,0,0;FILL;ADJUST;COMPACT;
.ONCE CENTER
%3References%1
.SKIP 2;
Several abbreviations are used for readability:
.SKIP 1;
.BEGIN;
.INDENT 0,14,0;TABS 15;TURN ON "\";FILL;ADJUST;RETAIN;
3IJCAI  \%2Proceedings of the Third International Joint
Conference on Artificial Intelligence%*, [available from SRI International,
Publications, 330 Ravenswood Ave, Menlo Park, CA 94025].
.SKIP 1;
4IJCAI  \%2Proceedings of the Fourth International Joint Conference
on Artificial Intelligence%*, [available from MIT A.I. Lab, 545 Technology
Square, Cambridge, MA 02138].
.SKIP 1;
AIM α#  \A. I. Memo α#, Computer Science Department, Stanford, California.
.SKIP 1;
MIT  \Massachusetts Institute of Technology, Cambridge, MA.
.SKIP 1
CMU  \Carnegie Mellon University, Pittsburgh, Pennsylvania.
.
.SKIP 3;TURN OFF "\";END;
.
.INDENT 0,0,0;FILL;ADJUST;COMPACT;







.group
[Aristotle26]
.once indent 4,4,0;
Aristotle:
%2Rhetoric%*, J.#H. Freese (trans.),  G.#P. Putnam, New York,
1926.
.apart; skip;


.GROUP;
[Bachman75]
.ONCE INDENT 4,4,0;
Bachman, C.#W.:
Trends in data base management--1975,
%2National Computer Conference%*, 1975, pp. 569-576.
.APART;SKIP 1;

.GROUP;
[Balzer67]
.ONCE INDENT 4,4,0;
Balzer, R.#M.:
Dataless programming,
%2Proc. AFIPS Conf.%*, 1967, pp. 535-544.
.APART;SKIP 1;

.GROUP;
[Barrow75]
.ONCE INDENT 4,4,0;
Barrow, H.#G., and J.#M. Tannenbaum:
Representation and use of knowledge in vision,
%2SIGART Newsletter%*,  June 1975, pp. 2-8.  (Also see the articles following it.)
.APART;SKIP 1;

.GROUP;
[Baumgart74]
.ONCE INDENT 4,4,0;
Baumgart, B.#G.:
Geometric models for computer vision, AIM 249, October 1974.
.APART;SKIP 1;


.GROUP;
[Bobrow68]
.ONCE INDENT 4,4,0;
Bobrow, D.#N.:
.GROUP;
Natural language input for a computer problem solving system, in M.#Minsky
(Ed.), %2Semantic Information Processing%*, The MIT Press, MIT, 1968,
pp. 146-226.
.APART;SKIP 1;

.GROUP;
[Bobrow75]
.ONCE INDENT 4,4,0;
Bobrow, D.#N., and A.#Collins (Eds.):
%2Representation and Understanding%*, Academic Press, New York, 1975.
.APART;SKIP 1;

.group;
[Bobrow77]
.once indent 4,4,0;
Bobrow, D.#N., and T. Winograd:
Overview of KRL, %2Cognitive Science%*, vol. 1, January 1977, pp. 3-47.
.apart;skip;


.GROUP;
[Brachman75]
.ONCE INDENT 4,4,0;
Brachman, R.#J.:
Structural knowledge in a document information consulting system,
TR 6-75, Center for Research in Computing Technology, Harvard University,
Cambridge, 1975.
.APART;SKIP 1;


.GROUP;
[Brown75]
.ONCE INDENT 4,4,0;
Brown, J.#S.:
Uses of AI and advanced computer technology in education,
Bolt, Beranek, & Newman, Cambridge, December 1975.
.APART;SKIP 1;

.GROUP;
[Brown78]
.ONCE INDENT 4,4,0;
Brown, J. S., and R. R. Burton:
Diagnostic models for procedural bugs in mathematical skills,
%2Cognitive Science%*, volume 2, April-June 1978, pp. 155-192.
.APART; SKIP 1;

.GROUP;
[Buchanan71]
.ONCE INDENT 4,4,0;
Buchanan, B.#G., and J.#Lederberg:
The heuristic {SYSTM DENDRAL} program for explaining empirical data,
%2IFIP%*, 1971, pp. 179-188.
.APART;SKIP 1;

.GROUP;
[Buchanan72]
.ONCE INDENT 4,4,0;
Buchanan, B.#G.,  E.#A. Feigenbaum, and N.#S. Sridharan:
Heuristic theory formation:# Data interpretation and rule formation,
in B.#Meltzer and D.#Michie (Eds.),
%2Machine Intelligence 7%*, Edinburgh University Press, Edinburgh, 1972,
pp. 267-292. 
.APART;SKIP 1;

.GROUP;
[Buchanan78]
.ONCE INDENT 4,4,0;
Buchanan, B.#G. and T. Mitchell:
Model-directed learning of production rules,
in %2Pattern-Directed Inference Systems%*, (Waterman and Hayes-Roth, eds.),
pp 297-312, Academic Press, NY, 1978.
.APART; SKIP;

.GROUP;
[Carbonell73]
.ONCE INDENT 4,4,0;
Carbonell, J.#R., and A.#M. Collins:
Natural semantics in AI,
%23IJCAI%*, 1973, pp. 344-351.
.APART;SKIP 1;

.GROUP;
[Carroll60]
.ONCE INDENT 4,4,0;
Carroll, L.:
Alice's Adventures in Wonderland, in M.#Gardner (Ed.), %2The Annotated
Alice%*, World Publishing Company, 1960.
.APART;SKIP 1;

.group;
[Dahl70]
.once indent 4,4,0;
Dahl, O.#J., B. Myhrhaug, and K. Nygaard:
Common base language, %2Norwegian Computing Center Technical Report%*,
1970.
.apart;skip;


.GROUP;
[Davis77a]
.ONCE INDENT 4,4,0;
Davis, R., and J. King:
An overview of production systems, in E.#W. Elcock and D.#Michie (Eds.),
%2Machine Intelligence#8%*, John Wiley & Sons, New York, 1977# 
(also AIM 271).
.APART;SKIP 1;

.GROUP;
[Davis77b] 
.ONCE INDENT 4,4,0;
Davis, R., B.#G. Buchanan, and E.#Shortliffe:
Production rules as a representation for a knowledge-based consultation
program,
%2Artificial Intelligence%*, vol.#8, no.#1, February 1977, pp. 15-45
(also AIM 266).
.APART;SKIP 1;

.GROUP;
[Dijkstra72]
.ONCE INDENT 4,4,0;
Dijkstra, E., O.#J. Dahl, and C.#A.#R. Hoare:
%2Structured Programming%*, Academic Press, New York, 1972.
.APART;SKIP 1;

.GROUP;
[Eswaran75]
.ONCE INDENT 4,4,0;
Eswaran, K.#P., and D.#D. Chamberlain:
Functional specification of a subsystem for data base integrity,
%2Proceedings of International Conference on Very Large Data Bases%*,
September 1975.
.APART;SKIP 1;

.GROUP;
[Falk70]
.ONCE INDENT 4,4,0;
Falk, G.:
Computer interpretation of imperfect line data,
AIM 132, August 1970.
.APART;SKIP 1;

.GROUP;
[Faught74]
.ONCE INDENT 4,4,0;
Faught, W., K. Colby, and R. Parkison:
The interaction of affects, intentions and desires,
AIM 253, December 1974.
.APART;SKIP 1;

.GROUP;
[Feigenbaum71]
.ONCE INDENT 4,4,0;
Feigenbaum, E.#A., B. Buchanan, and J. Lederberg:
On generality and problem solving, in B.#Meltzer and D.#Michie (Eds.),
%2Machine Intelligence 6%*, Edinburgh University Press, Edinburgh, 1971,
pp. 165-190.
.APART;SKIP 1;

.GROUP;
[Feldman72]
.ONCE INDENT 4,4,0;
Feldman, J., J.#R. Low, D.#C. Swinehart, and R.#H. Taylor:
Recent developments in {PRLANG SAIL}, an {PRLANG ALGOL}-based language for artificial intelligence,
AIM 176, November 1972.
.APART;SKIP 1;


.GROUP;
[Fikes71]
.ONCE INDENT 4,4,0;
Fikes, R.#J., and N.#J. Nilsson:
{SYSTM STRIPS}--A new approach to the application of theorem proving to problem solving,
%2Artificial Intelligence%*, vol.#2, Winter 1971, pp. 189-208.
.APART;SKIP 1;

.GROUP;
[Fikes72]
.ONCE INDENT 4,4,0;
Fikes R.#J., P.#E. Hart, and N.#J. Nilsson:
Learning and executing generalized robot plans,
%2Artificial Intelligence%*, vol.#3, Winter 1972, pp. 251-288.
.APART;SKIP 1;

.GROUP;
[Finkel74]
.ONCE INDENT 4,4,0;
Finkel, R., R. Taylor, R. Bolles, R. Paul, and J. Feldman:
{SYSTM AL}, a programming system for automation,
AIM 243, June 1975.
.APART;SKIP 1;

.GROUP;
[Gelernter59]
.ONCE INDENT 4,4,0;
Gelernter, H.:
Realization of a geometery-theorem proving machine,
in E.#A. Feigenbaum and J.#Feldman (Eds.),
%2Computers and Thought%*, McGraw-Hill, New York, 1963, pp. 134-152.
.APART;SKIP 1;

.GROUP;
[Goldstein74]
.ONCE INDENT 4,4,0;
Goldstein, I.:
Understanding simple picture programs,
AI-TR-294, MIT, September 1974.
.APART;SKIP 1;

.GROUP;
[Green69]
.ONCE INDENT 4,4,0;
Green, C.#C.:
The application of theorem proving to question answering systems,
AIM 96, August 1969.
.APART;SKIP 1;

.GROUP;
[Green74]
.ONCE INDENT 4,4,0;
Green, C.#C., R.#J. Waldinger, D.#R. Barstow, R. Elschlager, D.#B. Lenat,
B.#P. McCune, D.#E. Shaw, and L.#I. Steinberg: 
Progress report on program-understanding systems,
AIM 240, August 1974.
.APART;SKIP 1;

.GROUP;
[Gregory66]
.ONCE INDENT 4,4,0;
Gregory, R.#L.:# %2Eye and Brain%*, McGraw-Hill, New York, 1966.
.APART;SKIP 1;

.GROUP;
[Guzman68]
.ONCE INDENT 4,4,0;
Guzman, A.:
Computer recognition of 3-D objects in a visual scene, MAC-TR-59, MIT,
December 1968.
.APART;SKIP 1;

.group;
[Hansen74]
.once indent 4,4,0;
Hansen, G.:
Adaptive systems for dynamic run-time optimization of programs,
doctoral dissertation, CMU, March 1974.
.apart; skip;

.GROUP;
[Harre70]
.ONCE INDENT 4,4,0;
Harre, R.:
%2The Principles of Scientific Thinking%*,
University of Chicago Press, Chicago, 1970.
.APART;SKIP 1;

.GROUP;
[Hart75]
.ONCE INDENT 4,4,0;
Hart, P.#E.:
Progress on a computer-based consultant, %24IJCAI%*, 1975, pp. 831-841.
.APART;SKIP 1;

.GROUP;
[Hayes-Roth76]
.ONCE INDENT 4,4,0;
Hayes-Roth, F., and J.#McDermott:
Knowledge acquisition from structural descriptions,
Tech. Rep., Computer Science Department, CMU, February 1976.
.APART;SKIP 1;

.GROUP;
[Hewitt71]
.ONCE INDENT 4,4,0;
Hewitt, C.:
Procedural semantics--models of procedures and the teaching of procedures,
%2Natural Language Processing%* (Courant Computer Science Symposium),
vol.#8, 1971, pp. 331-350.
.APART;SKIP 1;

.GROUP;
[Hewitt72]
.ONCE INDENT 4,4,0;
Hewitt, C.:
Description and theoretical analysis of {PRLANG PLANNER}, doctoral
dissertation, Department of Mathematics, MIT, 1972.
.APART;SKIP 1;

.GROUP;
[Hewitt75]
.ONCE INDENT 4,4,0;
Hewitt, C., and B.#Smith:
Toward a programmer's apprentice,
%2IEEE Transactions on Software Engineering%*, SE-1, March 1975, pp. 26-45.
.APART;SKIP 1;

.GROUP;
[Howe73]
.ONCE INDENT 4,4,0;
Howe, W.#J.:# Computer-assisted design of complex organic syntheses, 
doctoral dissertation, 
Harvard University, Cambridge, 1973 (%2Dissertation Abstracts%*, P5207 B, 33/11).
.APART;SKIP 1;

.GROUP;
[Interaction72]
.ONCE INDENT 4,4,0;
Interaction Associates:
%2Strategy Notebook%*,
Interaction Asociates, Inc., San Francisco, Calif., 1972.
.APART;SKIP 1;

.GROUP;
[Johnson75]
.ONCE INDENT 4,4,0;
Johnson, H. R.:
A schema report facility for a CODASYL-based data definition language,
in B.#C.#M. Dougue and G.#M. Nijssen (Eds.),
%2Data Base Description%*,  American Elsevier, New York, 1975, pp. 299-328.
.APART;SKIP 1;


.GROUP;
[Kulikowski73]
.ONCE INDENT 4,4,0;
Kulikowski, C.#A., S.#Weiss, and A.#Saifr:
Glaucoma diagnosis and therapy by computer, %2Proceedings of Annual Meeting
of Assoc. for Research in Vision and Opthamology%*, May 1973.
.APART;SKIP 1;

.GROUP;
[Learning76]
.ONCE INDENT 4,4,0;
Learning Research Group:
Personal dynamic media, Xerox PARC, Palo Alto, Calif., 1976.
.APART;SKIP 1;


.GROUP;
[Lesser74]
.ONCE INDENT 4,4,0;
Lesser, V. R., R.#D. Fennell, L.#D. Erman, and D.#R. Reddy:
Organization of the {SYSTM HEARSAY II} speech understanding system,
%2IEEE Transactions on Acoustics, Speech, and Signal Processing%*,
ASSP-23, February 1975, pp. 11-23.
.APART;SKIP 1;

.GROUP;
[Liskov74]
.ONCE INDENT 4,4,0;
Liskov, B., and S. Zilles:
Programming with abstract data types,
%2SIGPLAN Notices%*, April 1974.
.APART;SKIP 1;

.GROUP;
[Low74]
.ONCE INDENT 4,4,0;
Low J.:
Automatic coding:# Choice of data structures,
AIM 242, August 1974.
.APART;SKIP 1;

.GROUP;
[Lukasiewisz70]
.ONCE INDENT 4,4,0;
Lukasiewicz, J.:
A numerical interpretation of the theory of propositions,
in L. Borkowski (Ed.), %2Jan Lukasiewicz:# Selected Works%*, 1970.
.APART;SKIP 1;
.GROUP;
[MACSYMA74]
.ONCE INDENT 4,4,0;
The {SYSTM MACSYMA} reference manual, The MATHLAB Group, MIT, September 1974.
.APART;SKIP 1;

.GROUP;
[Manna69]
.ONCE INDENT 4,4,0;
Manna, Z.:
Correctness of programs,
%2Journal of Computer Systems Sciences%*, May 1969.
.APART;SKIP 1;

.GROUP;
[McDermott74]
.ONCE INDENT 4,4,0;
McDermott, D.:
Assimilation of new information, AI-TR-291, MIT, February 1974.
.APART;SKIP 1;

.GROUP;
[McLeod76]
.ONCE INDENT 4,4,0;
McLeod, D. J.:
High level domain definition in a relational data base system,
%2SIGPLAN Notices%*, no.#1,  April 1976, pp. 47-57.
.APART;SKIP 1;

.GROUP;
[Miller75]
.ONCE INDENT 4,4,0;
Miller, P.#B.:
Strategy selection in medical diagnosis,
Project MAC TR-153, MIT, September 1975.
.APART;SKIP 1;

.GROUP;
[Minsky68]
.ONCE INDENT 4,4,0;
Minsky, M. (Ed.):
%2Semantic Information Processing%*,
MIT Press, MIT, 1968.
.APART;SKIP 1;

.GROUP;
[Minsky74]
.ONCE INDENT 4,4,0;
Minsky, M.:
A framework for representing knowledge,
MIT AI Memo 306, June 1974.
.APART;SKIP 1;

.GROUP;
[Mitchell70]
.ONCE INDENT 4,4,0;
Mitchell, J. G.:
The design and construction of flexible and efficient interactive programming systems,
doctoral dissertation, Department of Computer Science, CMU, June 1970.
.APART;SKIP 1;

.group;
[Newell59]
.once indent 4,4,0;
Newell, A., J.#C. Shaw, and H.#A. Simon:
A variety of intelligent learning in a general problem-solver, in
M.#Yovitts and S. Cameron (Eds.), %2Self-organizing Systems%*, 
Pergamon, New York, pp. 153-189.
.apart; skip;

.group;
[Newell61]
.once indent 4,4,0;
Newell, A., and H.#A. Simon:
{SYSTM GPS}, a program that simulates human thought, in
 E.#A. Feigenbaum and J. Feldman (Eds.), %2Computers and Thought%*, 
McGraw-Hill, New York, pp. 279-296.
.apart; skip;

.GROUP;
[Newell69]
.ONCE INDENT 4,4,0;
Newell, A.:
Heuristic programming; ill-structured problems,
in  Aronofsky (Ed.), %2Progress in Operations Research%*, vol.#3, 1969, pp.
362-414.
.APART;SKIP 1;

.GROUP;
[Newell72]
.ONCE INDENT 4,4,0;
Newell, A., and H. Simon: 
%2Human Problem Solving%*, Prentice-Hall, Englewood Cliffs, New Jersey, 1972.
.APART;SKIP 1;

.GROUP;
[Norman75]
.ONCE INDENT 4,4,0;
Norman, D. A., and D. E. Rumelhart: 
%2Explorations in Cognition%*, W. H. Freeman, San Francisco, 1975.
.APART;SKIP 1;

.GROUP;
[Parnas72]
.ONCE INDENT 4,4,0;
Parnas, D. L.:
On the criteria to be used in decomposing systems into modules,
%2CACM%*, vol. 15, December 1972, pp. 1053-1058.
.APART;SKIP 1;

.GROUP;
[Parnas75]
.ONCE INDENT 4,4,0;
Parnas, D. L., and D.#P. Siewiorek:
Use of the concept of transparency in the design of hierarchically
structured systems,
%2CACM%*, vol. 18, July 1975, pp. 401-408.
.APART;SKIP 1;

.GROUP;
[Polya54]
.ONCE INDENT 4,4,0;
Polya, G.:
%2How to Solve it%*,
McGraw-Hill, Princeton, New Jersey, 1954.
.APART;SKIP 1;

.GROUP;
[Pople75]
.ONCE INDENT 4,4,0;
Pople, H., J. Meyers, and R. Miller:
{SYSTM DIALOG}, a model of diagnostic logic for internal medicine,
%24IJCAI%*, 1975,  pp.  848-855.   (The system has since been renamed {SYSTM INTERNIST}.)
.APART;SKIP 1;

.GROUP;
[Post43]
.ONCE INDENT 4,4,0;
Post, E.: Formal reductions of the general combinatorial problem, %2American Journal of Math%*,
vol.#65, 1943, pp. 197-268.
.ONCE INDENT 4,4,0;
	For an introduction to the general principles involved, see
M.#Minksy, %2Computation:# Finite and infinite machines%*, Prentice Hall,
Englewwod Cliffs, New Jersey, 1967, chap.#12.
.APART;SKIP 1;

.INDENT 0,0,0;
.GROUP;
[Reddy73]
.ONCE INDENT 4,4,0;
Reddy, R.:
The {SYSTM HEARSAY} speech understanding system,
%23IJCAI%*, 1973, pp. 185-199.
.APART;SKIP 1;

.GROUP;
[Reiger74]
.ONCE INDENT 4,4,0;
Reiger, C. J.:
Conceptual memory:# A theory and computer program,
AIM 233, July 1974.
.APART;SKIP 1;

.GROUP;
[Resier75]
.ONCE INDENT 4,4,0;
Resier, J. F.:
BAIL - A debugger for SAIL,
AIM 270, October 1975.
.APART, SKIP;

.GROUP;
[Roberts63]
.ONCE INDENT 4,4,0;
Roberts, L. G.:
Machine perception of 3-D solids, Tech. Rep. 315, Lincoln Labs, MIT,
May 1963.
.APART;SKIP 1;

.GROUP;
[Rubin75]
.ONCE INDENT 4,4,0;
Rubin, A. D.:
Hypothesis formation and evaluation in medical diagnosis,
AI-TR-316, MIT, January 1975.
.APART;SKIP 1;
.GROUP;
[Rulifson72]
.ONCE INDENT 4,4,0;
Rulifson, J. F., J.#A. Derksen, and R.#J. Waldinger:
{PRLANG QA4}:  A procedural calculus for intuitive reasoning,
Tech. Note 73, SRI International, Palo Alto, Calif., November 1972.
.APART; SKIP 1;
.GROUP;
[Rumelhart73]
.ONCE INDENT 4,4,0;
Rumelhart, D. E., and D.#A. Norman:
Active semantic networks as a model of human memory,
%23IJCAI%*, 1973, pp. 450-458.
.APART; SKIP 1;

.GROUP;
[Sacerdoti73]
.ONCE INDENT 4,4,0;
Sacerdoti, E.:
Planning in a hierarchy of abstraction spaces, %23IJCAI%*, 1973, pp. 412-422.
.APART;SKIP 1;

.GROUP;
[Sacerdoti77]
.ONCE INDENT 4,4,0;
Sacerdoti, E.:
%2A Structure for Plans and Behavior%*,
American Elsevier, New York, 1977.
.APART;SKIP 1;

.GROUP;
[Samet75]
.ONCE INDENT 4,4,0;
Samet, H.:
Automatically proving the correctness of translations involving optimized code,
AIM 259, May 1975.
.APART;SKIP 1;

.GROUP;
[Samuel67]
.ONCE INDENT 4,4,0;
Samuel, A. L.:
Some studies in machine learning using the game of checkers II--recent progress,
%2IBM Journal of Research and Development%*, vol.#11, 1967, pp.#601-617.
.APART;SKIP 1;

.GROUP;
[Sandewall75]
.ONCE INDENT 4,4,0;
Sandewall, E.:
Ideas about managment of {PRLANG LISP} data bases,
%24IJCAI%*, 1975, pp. 585-592.
.APART;SKIP 1;


.GROUP;
[Shaw75]
.ONCE INDENT 4,4,0;
Shaw, D., W. Swartout, and C. Green:
Inferring {PRLANG LISP} programs from examples,
%24IJCAI%*, 1975,  pp. 260-267.
.APART;SKIP 1;


.GROUP;
[Shortliffe75a] 
.ONCE INDENT 4,4,0;
Shortliffe, E. H., R. Davis, B.#G. Buchanan, S.#G. Axline, C.#C. Green, and 
S.#N. Cohen: 
Computer-based consultations in clinical therapeutics--explanation and rule acquisition
capabilities of the {SYSTM MYCIN} system,
%2Computers and Biomedical Research%*, vol.#8, 1975, pp. 303-320.
.APART;SKIP 1;

.GROUP;
[Shortliffe75b] 
.ONCE INDENT 4,4,0;
Shortliffe, E. H., and B.#G. Buchanan:
A model of inexact reasoning in medicine,
%2Mathematical Biosciences%*, vol.#23, 1975, pp. 351-379.
.APART;SKIP 1;

.GROUP;
[Shortliffe76] 
.ONCE INDENT 4,4,0;
Shortliffe, E. H.:
%2MYCIN:# Computer-based Medical Consultations%*, American Elsevier,
New York, 1976.
.APART;SKIP 1;

.GROUP;
[Simon73]
.ONCE INDENT 4,4,0;
Simon, H.:
The structure of ill-structured problems,
%2Artificial Intelligence%*, vol.#4, 1973, pp.181-201.
.APART;SKIP 1;

.GROUP;
[Sophocles27]
.ONCE INDENT 4,4,0;
Sophocles:
Oedipus the King (427 B.C.),
in Greene and Lattimore (Eds.),
%2Greek Tragedies%*, vol.#1,  University of Chicago Press,
Chicago, 1960.
.APART;SKIP 1;

.GROUP;
[Spitzen75]
.ONCE INDENT 4,4,0;
Spitzen, J., and B.#Wegbreit:
The verification and synthesis of data structures,
%2Acta Informatica%*, vol.#4, 1975, pp.#127-144.
.APART;SKIP 1;

.group;
[Stonebreaker75]
.once indent 4,4,0;
Stonebreaker, M.:
Implementation of integrity constraints and views by modification,
%2Proc. SIGMOD Conf.%*, 1975, pp. 65-78.
.apart; skip;


.GROUP;
[Sussman75]
.ONCE INDENT 4,4,0;
Sussman, G.:
%2A Computational Model of Skill Acquisition,%*
American Elsevier, New York, 1975.
.APART;SKIP 1;

.GROUP;
[Suzuki76]
.ONCE INDENT 4,4,0;
Suzuki, N.:
Automatic verification of programs with complex data structures,
AIM 279, February 1976.
.APART;SKIP 1;

.GROUP;
[Tversky74]
.ONCE INDENT 4,4,0;
Tversky, A., and D.#Kahneman:
Judgment under uncertainty:# Heuristics and biases,
%2Science%*, vol.#185,  September 18 1974, pp. 1129-1131.
.APART;SKIP 1;

.GROUP;
[van Melle74] 
.ONCE INDENT 4,4,0;
van Melle, W.:
Would you like advice on another horn,
{SYSTM MYCIN} project internal working paper,
Stanford University, Stanford, Calif., December 1974.
.APART;SKIP 1;


.GROUP;
[Waldinger74]
.ONCE INDENT 4,4,0;
Waldinger, R., and K.#N. Levitt:
Reasoning about programs,
%2Artificial Intelligence%*, vol.#5, Fall 1974, pp. 235-316.
.APART;SKIP 1;

.GROUP;
[Waltz72]
.ONCE INDENT 4,4,0;
Waltz, D.:
Generating semantic descriptions from drawings of scenes with shadows,
AI-TR-271, MIT,  November 1972.
.APART;SKIP 1;

.GROUP;
[Warshall62]
.ONCE INDENT 4,4,0;
Warshall, S.:
A theorem on Boolean matrices,
%2JACM%*, vol.#9, January 1962, pp. 11-12.
.APART;SKIP 1;

.GROUP;
[Waterman70]
.ONCE INDENT 4,4,0;
Waterman, D. A.: Generalization learning techniques for automating the
learning of heuristics,
%2Artificial Intelligence%*, vol.#1, 1970, pp.#121-170. 
.APART;SKIP 1;

.group;
[Waterman77]
.once indent 4,4,0;
Waterman, D.#A.:
Exemplary programming, in D.#Waterman and R.#Hayes-Roth (Eds.),
%2Pattern-directed Inference Systems%*, Academic Press, in press.
.apart; skip;

.GROUP;
[Wickelgren74]
.ONCE INDENT 4,4,0;
Wickelgren, W. A.:
%2How to Solve Problems%*,
W. H. Freeman, San Francisco, 1974.
.APART;SKIP 1;

.GROUP;
[Winograd72]
.ONCE INDENT 4,4,0;
Winograd, T.:# %2Understanding Natural Language%*, Academic Press, New York,
1972.
.APART;SKIP 1;

.GROUP;
[Winograd74]
.ONCE INDENT 4,4,0;
Winograd, T.:
Breaking the complexity barrier, again,
%2SIGPLAN Notices%*, no.#1, January 1974.
.APART;SKIP 1;

.GROUP;
[Winograd75]
.ONCE INDENT 4,4,0;
Winograd, T.:# Frame representations and the procedural/declarative
controversy, in D.#N. Bobrow and A. Collins (Eds.), %2Representation and
Understanding%*, Academic Press, New York, 1975. 
.APART;SKIP 1;

.GROUP;
[Winston70]
.ONCE INDENT 4,4,0;
Winston, P. H.:
Learning structural descriptions from examples,
MAC TR-76, MIT, September 1970.
.APART;SKIP 1;


.BEGIN "LASTWORD"
.SKIP 4;SELECT fnfont; INDENT 40,40,0;
"Paul Cohen agrees with me: 

Everything that's ever been done is irrelevant."
.INDENT 50,50,0;SELECT 1;
Doug Lenat

11 March 1976
.END "LASTWORD";
β